Chez Frege, et dans la logique du premier ordre contemporain, la vérité des propositions est fonction des éléments qui constituent cette proposition. Ainsi, en analysant ces éléments, il est possible de déterminer la valeur de vérité de n`importe quelle proposition.